41. <A> course in mathematical logic for mathematicians
المؤلف: \ Yu. I. Manin; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,

42. A course in mathematical logic for mathematicians
المؤلف: / Yu. I. Manin
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010


43. A course on foundations of nonstandard analysis
المؤلف: Kanovei, Vladimir
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Nonstandard mathematical analysis,، Mathematical analysis,، Functional analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K2
1994


44. A course on foundations of nonstandard analysis
المؤلف: Kanovei, Vladimir
المکتبة: (طهران)
موضوع: Nonstandard mathematical analysis, Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K36
1994


45. A course on mathematical logic
المؤلف: Srivastava, Shashi Mohan
المکتبة: (طهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
S684C6
2013


46. A course on mathematical logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;

47. A course on mathematical logic
المؤلف: / Shashi Mohan Srivastava
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.

48. A course on mathematical logic
المؤلف: Srivastava, Shashi Mohan
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S684C6


49. A course on mathematical logic
المؤلف: Shashi Mohan Srivastava
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
S65
2013


50. A first course in logic
المؤلف: / Shawn Hedman
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic.,Logic, Symbolic and mathematical.
رده :
QA9
,.
H36
,
2004


51. A first course in logic
المؤلف: / Shawn Shawn
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Logic,symbolic and mathematical
رده :
511
.
3
H452f


52. A first course in logic /
المؤلف: Mark V. Lawson, Heriot-Watt University, Edinburgh.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
رده :
QA9
.
L37256
2018eb


53. A first course in logic
المؤلف: Shawn Hedman,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Logic,Logic -- Symbolic and mathematical
رده :
QA
.
H36
9
2004


54. A first course in logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Problems, exercises, etc. ; Logic. ;

55. A first course in logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic. ; Logic, Symbolic and mathematical. ;

56. A first course in logic
المؤلف: / Shawn Hedman
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic,Logic, Symbolic and mathematical
رده :
QA9
.
H36
2004


57. A first course in logic :an introduction to model theory, proof theory, computability, and complexity
المؤلف: Hedman, Shawn.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic,، Logic, Symbolic and mathematical
رده :
QA9
.
H36
2004


58. A first course in logic : an introduction to model theory, proof theory, computability, and complexity
المؤلف: Hedman, Shawn
المکتبة: (طهران)
موضوع: ، Logic,، Logic, Symbolic and mathematical
رده :
QA
9
.
H43F5


59. A first course in mathematical logic and set theory /
المؤلف: Michael L. O'Leary
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics,Set theory
رده :
QA9


60. A first course in modern logic
المؤلف: / /By/Edith Watson Schipper and Edward Schuh,Schipper
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical
رده :
BC135
.
S33

